chat gpt math proofs